слабейшее предусловие

слабейшее предусловие

 

слабейшее предусловие
слабейшее входное условие
 —
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

  • электросвязь, основные понятия

Синонимы

  • слабейшее входное условие

EN

  • weakest precondition


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "слабейшее предусловие" в других словарях:

  • Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»